Sfoglia per Rivista LECTURE NOTES IN COMPUTER SCIENCE
Nash Stability in Fractional Hedonic Games
2014-01-01 Bilò, V.; Fanelli, A; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
On the Complexity of Determinizing Monitors
2017-01-01 Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Kjartansson, S
On the Complexity of the Regenerator Cost Problem in General Networks with Traffic Grooming
2011-01-01 Flammini, M; G., Monaco; L., Moscardelli; M., Shalom; S., Zaks
On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders
2014-01-01 Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco,
On the Maximum Connectivity Improvement Problem
2019-01-01 Corò, F; D'Angelo, G; Pinotti, C. M.
On the Performances of Nash Equilibria in Isolation Games
2009-01-01 Bilò, V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
On the Sequential Price of Anarchy of Isolation Games
2013-01-01 A., Angelucci; V., Bilo'; Flammini, Michele; L., Moscardelli
On Verifying Hennessy-Milner Logic with Recursion at Runtime
2015-01-01 Francalanza, A; Aceto, L; Ingólfsdóttir, A
Optimizing Regenerator Cost in Traffic Grooming
2010-01-01 Flammini, Michele; Michele;, Monaco; Gianpiero; MOSCARDELLI, L. ; SHALOM M. ; ZAKS S.
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates
2011-01-01 Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A
The Price of Envy-Freeness in Machine Scheduling
2014-01-01 V., Bilo'; A., Fanelli; Flammini, Michele; Monaco, Gianpiero; L., Moscardelli
Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT)
2017-01-01 Bilò, Vittorio; Flammini, Michele
Recoverable robust timetables on trees
2009-01-01 D'Angelo, G; G., DI STEFANO; A., Navarra; C. M., Pinotti
Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations
2011-01-01 Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M
Rule Formats for Bounded Nondeterminism in Structural Operational Semantics
2016-01-01 Aceto, L; García-Pérez, Á; Ingólfsdóttir, A
Rule Formats for Determinism and Idempotence
2009-01-01 Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R
Rule Formats for Distributivity
2011-01-01 Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A
Scheduling Real-Time Mixed-Criticality Jobs
2010-01-01 V. Bonifaci, S. K. Baruah; D'Angelo, G; H., Li; A., Marchetti-Spaccamela; N., Megow; L., Stougie
Selfishness, Collusion and Power of Local Search for the ADMs Minimization Problem
2007-01-01 Flammini, Michele
Some Anomalies of Farsighted Strategic Behavior
2013-01-01 Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Nash Stability in Fractional Hedonic Games | 1-gen-2014 | Bilò, V.; Fanelli, A; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. | |
| On the Complexity of Determinizing Monitors | 1-gen-2017 | Aceto, L; Achilleos, A; Francalanza, A; Ingólfsdóttir, A; Kjartansson, S | |
| On the Complexity of the Regenerator Cost Problem in General Networks with Traffic Grooming | 1-gen-2011 | Flammini, M; G., Monaco; L., Moscardelli; M., Shalom; S., Zaks | |
| On the Expressiveness of the Interval Logic of Allen's Relations Over Finite and Discrete Linear Orders | 1-gen-2014 | Aceto, L; Della Monica, D; Ingólfsdóttir, A; Montanari, A; Sciavicco, | |
| On the Maximum Connectivity Improvement Problem | 1-gen-2019 | Corò, F; D'Angelo, G; Pinotti, C. M. | |
| On the Performances of Nash Equilibria in Isolation Games | 1-gen-2009 | Bilò, V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. | |
| On the Sequential Price of Anarchy of Isolation Games | 1-gen-2013 | A., Angelucci; V., Bilo'; Flammini, Michele; L., Moscardelli | |
| On Verifying Hennessy-Milner Logic with Recursion at Runtime | 1-gen-2015 | Francalanza, A; Aceto, L; Ingólfsdóttir, A | |
| Optimizing Regenerator Cost in Traffic Grooming | 1-gen-2010 | Flammini, Michele; Michele;, Monaco; Gianpiero; MOSCARDELLI, L. ; SHALOM M. ; ZAKS S. | |
| PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates | 1-gen-2011 | Aceto, L; Caltais, G; Goriac, E; Ingólfsdóttir, A | |
| The Price of Envy-Freeness in Machine Scheduling | 1-gen-2014 | V., Bilo'; A., Fanelli; Flammini, Michele; Monaco, Gianpiero; L., Moscardelli | |
| Proceedings of the 10th International Symposium on Algorithmic Game Theory (SAGT) | 1-gen-2017 | Bilò, Vittorio; Flammini, Michele | |
| Recoverable robust timetables on trees | 1-gen-2009 | D'Angelo, G; G., DI STEFANO; A., Navarra; C. M., Pinotti | |
| Relating Modal Refinements, Covariant-Contravariant Simulations and Partial Bisimulations | 1-gen-2011 | Aceto, L; de Frutos-Escrig, D; Fábregas, I; Ingólfsdóttir, A; Palomino, M | |
| Rule Formats for Bounded Nondeterminism in Structural Operational Semantics | 1-gen-2016 | Aceto, L; García-Pérez, Á; Ingólfsdóttir, A | |
| Rule Formats for Determinism and Idempotence | 1-gen-2009 | Aceto, L; Birgisson, A; Ingólfsdóttir, A; Mousavi, M R | |
| Rule Formats for Distributivity | 1-gen-2011 | Aceto, L; Cimini, M; Ingólfsdóttir, A; Mousavi, M R; Reniers, M A | |
| Scheduling Real-Time Mixed-Criticality Jobs | 1-gen-2010 | V. Bonifaci, S. K. Baruah; D'Angelo, G; H., Li; A., Marchetti-Spaccamela; N., Megow; L., Stougie | |
| Selfishness, Collusion and Power of Local Search for the ADMs Minimization Problem | 1-gen-2007 | Flammini, Michele | |
| Some Anomalies of Farsighted Strategic Behavior | 1-gen-2013 | Bilo', V.; Flammini, Michele; Monaco, Gianpiero; Moscardelli, L. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile